//]]>
Unhighlight Highlight
Testing Software and Systems by Yenigün, Hüsnü. Publication: . XIV, 291 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Driven Engineering Languages and Systems by Moreira, Ana. Publication: . XXVIII, 792 p. 299 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Drira, Khalil. Publication: . XVI, 354 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by Gorp, Pieter. Publication: . X, 237 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SDL 2013: Model-Driven Dependability Engineering by Khendek, Ferhat. Publication: . XII, 291 p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Duddy, Keith. Publication: . XIV, 221 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Beek, Maurice H. Publication: . X, 151 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Păsăreanu, Corina S. Publication: . X, 277 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Arbab, Farhad. Publication: . X, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development IX by Leavens, Gary T. Publication: . XIV, 307 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Nielsen, Brian. Publication: . X, 263 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by France, Robert B. Publication: . XX, 828 p. 298 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Gheyi, Rohit. Publication: . X, 227 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2012: Formal Methods by Giannakopoulou, Dimitra. Publication: . XVI, 488 p. 142 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 251 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by Vallecillo, Antonio. Publication: . XIII, 446p. 188 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Kienzle, Jörg. Publication: . X, 292 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Lara, Juan. Publication: . Approx. 535 p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Internet Technology by Ramanujam, R. Publication: . XI, 277p. 111 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 Next >>
Languages: 
English |
العربية